Intuitionistic logic - PDFSEARCH.IO - Document Search Engine

Intuitionistic logic
Results: 208

#	Item
191	CONSTRUCTIVISM AND PROOF THEORY A.S.Troelstra, ILLC, University van Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, Netherlands Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2004-07-23 05:38:06 Mathematics Proof theory Intuitionism Epistemology Philosophy of mathematics Intuitionistic logic Heyting arithmetic Constructivism Realizability Logic Mathematical logic Mathematical constructivism
192	Theoretical Computer Science[removed]–252 From constructivism to computer science 1 Add to Reading List Source URL: www.informatik.uni-ulm.de Language: English - Date: 1998-11-22 11:04:55 Mathematical constructivism Proof theory Epistemology Philosophy of mathematics Intuitionistic logic Realizability Curry–Howard correspondence Constructivism Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
193	Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek Add to Reading List Source URL: www.math.cas.cz Language: English - Date: 2008-11-24 09:00:50 Propositional calculus Modal logic Logic in computer science Philosophical logic Kripke semantics General frame Intermediate logic Intuitionistic logic Natural deduction Logic Mathematical logic Non-classical logic
194	Logic as Based on Incompatibility Jaroslav Peregrin∗ Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2011-06-14 00:36:50 Mathematical constructivism Function Universal quantification Entailment Intuitionistic logic Inference Heyting algebra Logic Mathematics Logical consequence
195	1 An Overview of Linear Logic Programming Dale Miller Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2003-09-29 10:45:32 Proof theory Linear logic Logic programming Sequent Natural deduction Intuitionistic logic Cut-elimination theorem Interpretation Well-formed formula Logic Mathematical logic Mathematics
196	. Wesleyan University . Add to Reading List Source URL: emorehouse.web.wesleyan.edu Language: English - Date: 2013-04-18 17:56:39 Natural deduction Linear logic Sequent Intuitionistic logic Categorical logic Curry–Howard correspondence First-order logic Negation Propositional calculus Logic Mathematical logic Proof theory
197	The discovery of E.W. Beth’s semantics for intuitionistic logic A.S. Troelstra and P. van Ulsen Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2001-09-06 10:06:20 Mathematical constructivism Intuitionism Epistemology Philosophy of mathematics Boolean algebra Intuitionistic logic Arend Heyting Heyting arithmetic Negation Logic Mathematical logic Mathematics
198	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
199	PDF Document Add to Reading List Source URL: www.jyb-logic.org Language: English - Date: 2011-05-28 09:23:00 Philosophical logic Paraconsistent logic Model theory Many-valued logic Relevance logic Complete theory Kripke semantics Intuitionistic logic Alfred Tarski Logic Mathematical logic Non-classical logic
200	PDF Document Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-04-15 09:47:15 Propositional calculus Non-classical logic Proof theory Intuitionism Intuitionistic logic Natural deduction Negation First-order logic Law of excluded middle Logic Mathematical logic Mathematical constructivism

UPDATE